skip to main content


Search for: All records

Creators/Authors contains: "engel, daniel"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. null (Ed.)
    Many aspects of blockchain-based decentralized finance can be understood as an extension of classical distributed computing. In this paper, we trace the evolution of two interrelated notions: failure and fault-tolerance. In classical distributed computing, a failure to complete a multi-party protocol is typically attributed to hardware malfunctions. A fault-tolerant protocol is one that responds to such failures by rolling the system back to an earlier consistent state. In the presence of Byzantine failures, a failure may be the result of an attack, and a fault-tolerant protocol is one that ensures that attackers will be punished and victims compensated. In modern decentralized finance however, failure to complete a protocol can be considered a legitimate option, not a transgression. A fault-tolerant protocol is one that ensures that the party offering the option cannot renege, and the party purchasing the option provides fair compensation (in the form of a fee) to the offering party. We sketch the evolution of such protocols, starting with two-phase commit, and finishing with timed hashlocked smart contracts. 
    more » « less
  2. null (Ed.)
    Automated market makers (AMMs) are automata that trade electronic assets at rates set by mathematical formulas.AMMs are usually implemented by smart contracts on blockchains. In practice, AMMs are often composed: trades can be split across AMMs, and outputs from one AMM can be directed to another. This paper proposes a mathematical model for AMM composition. We define sequential and parallel composition operators for AMMs in a way that ensures that AMMs are closed under composition, in a way that works for “higher-dimensional” AMMs that manage more than two asset classes, and so the composition of AMMs in “stable” states remains stable. 
    more » « less
  3. Abstract

    Contamination of high‐touch surfaces with infected droplets of bodily secretions is a known route of virus transmission. Copper surfaces have been reported to inactivate human coronaviruses after several minutes, via the release of Cu cations. Utilization of copper alloys for high‐touch surfaces can be a pivotal preemptive strategy for preventing the next pandemic. Understanding the true efficacy by which copper, and copper alloys, inactivate the virus under realistic conditions is essential for tuning intrinsic alloy features such as composition, grain orientation, and surface attributes, to optimize for antiviral function. However, virus inactivation measurements depend on the presence of an assay media (AM) solution as a carrier for the virus, and its effects on the surface properties of pure copper that regulate oxidative copper release are previously unknown. Herein, these properties and the influence of AM on the efficacy of virus inactivation occurring on the surface of pure copper are investigated. The process is uncovered by which a five‐fold decrease in virus half‐life is observed in simulated real‐life conditions, relative to exposure to traditional AM. The investigation highlights the notion that virus inactivation on copper surfaces may be significantly more effective than previously thought.

     
    more » « less